Самая большая электронная библиотека рунета. Поиск книг и журналов
↓

Abstract State Machines, B and Z, 1 conf., ABZ 2008

 Автор: , Автор: , Автор: , Автор:
Категория: CsLn_
Размер книги: 4.83 Mb

Formal Methods: State of the Art and New Directions

 Автор: , Автор: , Автор:
Размер книги: 3.23 Mb